propositional calculus meaning in English
句子逻辑
命题逻辑
命题演算
Examples
- 2 . numerais system of propositional calculus nend netwrk deals with data , but it is a formula set in proposihonal calculus
命题逻辑系统的数字化神经网络的处理对象是数据，而命题逻辑系统的处理对象是命题公式集。 - In automated theorem pidving , auomated reasoning methods of propositional calculus provide with edtersal naoning method for other iogic sywt
在自动推理理论与应用的研究中，命题逻辑系统中的方法和内容具有广泛的适用性。 - The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems . they are fit for dealing with incomplete information
中介逻辑命题演算系统mp ~ m和中介逻辑谓词演算系统mf ~ m是一种适用于处理不完全信息的新的逻辑系统。 - The conclusion points out tha evaltalon propositional calculus is sbole extension of hsitional calculus . mnle , the authr deeply studies to get ch medl sets , and gets some conclusion
同时，在已有关于horn近似的快速推理研究的基础上，对如何尽快寻找模型集中的极小模型进行更深入的研究，得出若干结论。 - In this paper , a new type algebra is introduced , it is the algebraic abstract of mpm system just as boolean algebra is the algebraic abstract of 2 - valued propositional calculus . the main purpose of this paper is to investigate the various properties of the new algebra . in addition , this paper constructs an axiom set based on the medium logic propositional calculus system mpm , and gives a proof of its completeness
本文通过对mpm中介逻辑命题演算系统进行代数抽象,建立了一个新的代数系统,讨论了该代数系统的性质,并利用该代数系统的代数性质构造了中介命题演算系统mpm上的一个公理完备集合,使用该公理集合可以方便的推导出mpm上的等值和互推公式,这对于处理不完全信息数据库的查询优化有着重要作用。